41. The GETMe mesh smoothing framework :
Author: Dimitris Vartziotis, Joachim Wipper.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Finite element method.,Geometry-- Data processing.,Subdivision surfaces (Geometry),COMPUTERS / Computer Graphics / General,COMPUTERS / Operating Systems / General,Finite element method.,Geometry-- Data processing.,MATHEMATICS / Arithmetic,MATHEMATICS-- Numerical Analysis.,Subdivision surfaces (Geometry)
Classification :
QC20
.
7
.
F56


42. The Turing omnibus :
Author: A.K. Dewdney.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computers.,Electronic data processing.,Computers.,Computers.,Electronic data processing.,Informatica.,Informatik,Informatique.,Ordinateur.,Toepassingen.
Classification :
QA76
.
D45
1989


43. The (new) Turing omnibus :
Author: A.K. Dewdney.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computers.,Electronic data processing.,Automates mathématiques, Théorie des.,Informatique.,Ordinateurs.,Computers.,Electronic data processing.,Processamento eletronico de dados.
Classification :
QA76
.
D448
1993


44. Theorem proving with the real numbers.
Author: John Harrison
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject:
Classification :
QA76
.
9
.
A96
J646
2012


45. There's something about Gödel :
Author: Francesco Berto
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Gödel, Kurt,Gödel's theorem,Incompleteness theorems,Mathematics-- Philosophy
Classification :
QA9
.
54
.
B4713
2009

